$\forall$$T$:Type, $L$:$T$ List, $R$:(\{$x$:$T$$\mid$ ($x$ $\in$ $L$) \}$\rightarrow$Realizer). $\oplus$$x$$\in$$L$.$R$($x$) $\in$ Realizer